The Local Joyal Model Structure
نویسنده
چکیده
The Joyal model structure on simplicial sets is extended to a model structure on the simplicial presheaves on a small site, in which the cofibrations are monomorphisms and the weak equivalences are local (or stalkwise) Joyal equivalences. The model structure is shown to be left proper.
منابع مشابه
The Effect of Local Damage on Energy Absorption of Steel Frame Buildings During Earthquake
Progressive collapse is a kind of failure in which whole or large part of a structure collapse when a local damage occurs and distributes to other parts. Many researchers focus on the column removal analysis and study of the structure behavior under effect of gravity loads, so these investigations are mostly carried out on the tall building. Earthquake inspections indicate structural element ca...
متن کاملIntelligent identification of vehicle’s dynamics based on local model network
This paper proposes an intelligent approach for dynamic identification of the vehicles. The proposed approach is based on the data-driven identification and uses a high-performance local model network (LMN) for estimation of the vehicle’s longitudinal velocity, lateral acceleration and yaw rate. The proposed LMN requires no pre-defined standard vehicle model and uses measurement data to identif...
متن کاملStacks and Sheaves of Categories as Fibrant Objects, I
We show that the category of categories fibred over a site is a generalized Quillen model category in which the weak equivalences are the local equivalences and the fibrant objects are the stacks, as they were defined by J. Giraud. The generalized model category restricts to one on the full subcategory whose objects are the categories fibred in groupoids. We show that the category of sheaves of...
متن کاملSimulation of local scour caused by submerged horizontal jets with Flow-3D numerical model
One of the most concerning issues for researchers is to predict the shape and dimensions of the scour pit nearhydraulic structures such as the base of bridges, weirs, valves and stilling basins due to both financial and humanhazards induced by destruction of the structure. As the scour issue has its own complexity in relation to themultiplicity of effecting factors on it, in this study therefor...
متن کاملA Kripke-Joyal Semantics for Noncommutative Logic in Quantales
A structural semantics is developed for a first-order logic, with infinite disjunctions and conjunctions, that is characterised algebraically by quantales. The model structures involved combine the “covering systems” approach of Kripke-Joyal intuitionistic semantics from topos theory with the ordered groupoid structures used to model various connectives in substructural logics. The latter are u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016